6 介绍
1 语言架构
系统开发通常会导致创建多个不同的规格说明。 例如，需求规格说明给出系统要求实现的效果，而设计规格说明则确定系统如何来实现这些效果。 对相同的需求，可能会开发并评估多种设计方案。然后，测试规格说明用来描述测试步骤，以检查根据设计所制造并运行的真实或者虚拟系统，是否满足需求。
所谓模型，即使用某种建模语言来描述的上述几种系统规格说明。 模型的语义定义了在一个模型化的系统中，以和模型给出的规范说明相一致。 KerML是一种底层建模语言，通过一致的语义来表达不同种类的系统模型。
从语法上来说，KerML分为三层，每一层都基于前一层来构建更为特定的结构。 这三层按照从通用到特定的顺序，为：
- 根层 (Root Layer) 包括用来构建模型的最通用的语法结构，包括元素（elements)，关系（relationships)，标记（annotations)，以及包（packaging）。
- 核心层 (Core Layer）包括最通用的基于classification语义的结构。
- 内核层（Kernel Layer) 提供了常用的建模能力，例如关联（associations）和行为（behavior）。
核心层使用数学逻辑来解释KerML的语义。额外的语义通过内核层的抽象表达式结构和内核语义库（KernelSemanticLibrary）中的模型元素之间的关系来指定，而内核语义库本身也是使用KerML编写的。 因此，使用KerML创建的模型，必定是通过复用语义库中的元素，来表达其本身的语义的。 语义库中的模型对于模型和所建模的事物之间的一致性提供了基本的支持，而这些又在适当的情况下，在用户模型中得到增强。
维持一个一致的语义规范有助于人们用同样的方式来解释模型。特别地，由于语义库模型和用户模型是通过同一种语言表达的，工程师和工具制造商可以通过查看库模型来明确所构建的模型究竟对于所建模的系统指明了何种真实的或者虚拟的功能。这种更一致的模型解释性能够提高包括建模人员和工具制造商在内的所有人的沟通交流。